logical formulas meaning in Chinese
逻辑式
Examples
- Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
依照逻辑规则创建了所有名称属性；在本示例中，我使用了自己视为方便的名称。 - However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
在现有的ontology语言中，有的不是面向web这种标记语言环境的，有的缺乏知识、逻辑公式、公理以及规则表示的通性支持。 - This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。